Disable watchdog in dump_registers

Avoids triggering watchdog if serial port output is slow.

Signed-off-by: Andrew Lyon <andrew.lyon@gmail.com>

diff --git a/xen/common/keyhandler.c b/xen/common/keyhandler.c
index 8ddfa95db938e52a0239f7f1356ee771f5e96338..9b4d6b7f120df4de0f3350233fb4a2297cd3c568 100644 (file)
--- a/xen/common/keyhandler.c
+++ b/xen/common/keyhandler.c
@@ -87,6 +87,7 @@ static void dump_registers(unsigned char key, struct cpu_user_regs *regs)
     unsigned int cpu;
 
     /* We want to get everything out that we possibly can. */
+    watchdog_disable();
     console_start_sync();
 
     printk("'%c' pressed -> dumping registers\n", key);
@@ -106,6 +107,7 @@ static void dump_registers(unsigned char key, struct cpu_user_regs *regs)
     printk("\n");
 
     console_end_sync();
+    watchdog_enable();
 }
 
 static struct keyhandler dump_registers_keyhandler = {